A multi-dimensional terminological knowledge representation language
نویسندگان
چکیده
منابع مشابه
A Multi-Dimensional Terminological Knowledge Representation Language
An extension of the concept description language ACC used in KL-ONE-like terminological reasoning is presented. The extension includes multi-modal operators that can either stand for the usual role quantifications or for modalities such as belief, time etc. The modal operators can be used at all levels of the concept terms, and they can be used to modify both concepts and roles. This is an inst...
متن کاملTerminological Knowledge Representation: A Proposal for a Terminological Logic
This paper contains a proposal for a terminological logic. The formalisms for representing knowledge as well as the needed inferences are described.
متن کاملKnowledge Representation with Terminological Logics
! ‚Concept‘ as atomic unit of knowledge represents a class of entities of a discourse domain ! Concept is: " named after the elements of the class " graphically illustrated as ellipse, that is framing its name ! A concept, that represents a set S, is denoted as |C|S ! If S ⊂ T, then: |C|S subconcept (Sub C) of |C|T |C|T super concept (SuperC) of |C|S ! This relation is: " called concept subsump...
متن کاملMulti-dimensional Dynamic Knowledge Representation
According to Dynamic Logic Programming (DLP), knowledge may be given by a sequence of theories (encoded as logic programs) representing different states of knowledge. These may represent time (e.g. in updates), specificity (e.g. in taxonomies), strength of updating instance (e.g. in the legislative domain), hierarchical position of knowledge source (e.g. in organizations), etc. The mutual relat...
متن کاملDecidable Reasoning in Terminological Knowledge Representation Systems
Termino log ica l Knowledge Representation Systems (TKRSs ) are tools for designing and using knowledge bases tha t make use of te rminological languages (or concept languages). The T K R S we consider in this paper is of pract i cal interest since it goes beyond the capabi l it ies of presently avai lable T K R S s . F i rs t , our T K R S is equipped w i th a h ighly expressive concept, langu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Applied Non-Classical Logics
سال: 1995
ISSN: 1166-3081,1958-5780
DOI: 10.1080/11663081.1995.10510854